[INFO] fetching crate tendermint-light-client 0.19.0...
[INFO] building tendermint-light-client-0.19.0 against master#ff34b919075f35a1787659e9c448a34b06bab8de for issue-85264
[INFO] extracting crate tendermint-light-client 0.19.0 into /workspace/builds/worker-2/source
[INFO] validating manifest of crates.io crate tendermint-light-client 0.19.0 on toolchain ff34b919075f35a1787659e9c448a34b06bab8de
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate tendermint-light-client 0.19.0
[INFO] finished tweaking crates.io crate tendermint-light-client 0.19.0
[INFO] tweaked toml for crates.io crate tendermint-light-client 0.19.0 written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] crate crates.io crate tendermint-light-client 0.19.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 1249f194e56d87dbb5f5ddb333d533286fd0cbc1018c8f51bed37929d177773f
[INFO] running `Command { std: "docker" "start" "-a" "1249f194e56d87dbb5f5ddb333d533286fd0cbc1018c8f51bed37929d177773f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1249f194e56d87dbb5f5ddb333d533286fd0cbc1018c8f51bed37929d177773f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1249f194e56d87dbb5f5ddb333d533286fd0cbc1018c8f51bed37929d177773f", kill_on_drop: false }`
[INFO] [stdout] 1249f194e56d87dbb5f5ddb333d533286fd0cbc1018c8f51bed37929d177773f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e5e2c4c5a682f84b55bc56da3e8a17d88624e6221683fe817e4f90a1bd8b6426
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "e5e2c4c5a682f84b55bc56da3e8a17d88624e6221683fe817e4f90a1bd8b6426", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.26
[INFO] [stderr]    Compiling syn v1.0.68
[INFO] [stderr]    Compiling libc v0.2.93
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling cc v1.0.67
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling once_cell v1.7.2
[INFO] [stderr]    Compiling serde_derive v1.0.125
[INFO] [stderr]    Compiling serde v1.0.125
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]    Compiling typenum v1.13.0
[INFO] [stderr]    Compiling futures-sink v0.3.13
[INFO] [stderr]    Compiling futures-core v0.3.13
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling spin v0.5.2
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling untrusted v0.7.1
[INFO] [stderr]    Compiling anyhow v1.0.40
[INFO] [stderr]    Compiling httparse v1.3.5
[INFO] [stderr]    Compiling hashbrown v0.9.1
[INFO] [stderr]    Compiling cpuid-bool v0.1.2
[INFO] [stderr]    Compiling openssl v0.10.33
[INFO] [stderr]    Compiling opaque-debug v0.3.0
[INFO] [stderr]    Compiling base64 v0.13.0
[INFO] [stderr]    Compiling foreign-types-shared v0.1.1
[INFO] [stderr]    Compiling tinyvec_macros v0.1.0
[INFO] [stderr]    Compiling matches v0.1.8
[INFO] [stderr]    Compiling native-tls v0.2.7
[INFO] [stderr]    Compiling adler v1.0.2
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling object v0.23.0
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling httpdate v0.3.2
[INFO] [stderr]    Compiling signature v1.2.2
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling subtle v2.4.0
[INFO] [stderr]    Compiling crc32fast v1.2.1
[INFO] [stderr]    Compiling smallvec v1.6.1
[INFO] [stderr]    Compiling mime v0.3.16
[INFO] [stderr]    Compiling funty v1.1.0
[INFO] [stderr]    Compiling uuid v0.8.2
[INFO] [stderr]    Compiling convert_case v0.4.0
[INFO] [stderr]    Compiling tokio v1.4.0
[INFO] [stderr]    Compiling indexmap v1.6.2
[INFO] [stderr]    Compiling tracing-core v0.1.17
[INFO] [stderr]    Compiling miniz_oxide v0.4.4
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling crossbeam-utils v0.8.3
[INFO] [stderr]    Compiling memoffset v0.6.3
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling instant v0.1.9
[INFO] [stderr]    Compiling http v0.2.3
[INFO] [stderr]    Compiling futures-channel v0.3.13
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling foreign-types v0.3.2
[INFO] [stderr]    Compiling tinyvec v1.2.0
[INFO] [stderr]    Compiling unicode-bidi v0.3.5
[INFO] [stderr]    Compiling form_urlencoded v1.0.1
[INFO] [stderr]    Compiling lock_api v0.4.3
[INFO] [stderr]    Compiling generic-array v0.14.4
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling walkdir v2.3.2
[INFO] [stderr]    Compiling want v0.3.0
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling unicode-normalization v0.1.17
[INFO] [stderr]    Compiling mio v0.7.11
[INFO] [stderr]    Compiling time v0.1.43
[INFO] [stderr]    Compiling socket2 v0.4.0
[INFO] [stderr]    Compiling parking_lot_core v0.8.3
[INFO] [stderr]    Compiling fs2 v0.4.3
[INFO] [stderr]    Compiling openssl-sys v0.9.61
[INFO] [stderr]    Compiling ring v0.16.20
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.3
[INFO] [stderr]    Compiling crossbeam-channel v0.4.4
[INFO] [stderr]    Compiling parking_lot v0.11.1
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling sled v0.34.6
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling idna v0.2.2
[INFO] [stderr]    Compiling digest v0.9.0
[INFO] [stderr]    Compiling block-buffer v0.9.0
[INFO] [stderr]    Compiling sha2 v0.9.3
[INFO] [stderr]    Compiling sha-1 v0.9.4
[INFO] [stderr]    Compiling http-body v0.4.1
[INFO] [stderr]    Compiling headers-core v0.2.0
[INFO] [stderr]    Compiling headers v0.3.4
[INFO] [stderr]    Compiling url v2.2.1
[INFO] [stderr]    Compiling sct v0.6.0
[INFO] [stderr]    Compiling webpki v0.21.4
[INFO] [stderr]    Compiling ct-logs v0.8.0
[INFO] [stderr]    Compiling rustls v0.19.0
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling rustls-native-certs v0.5.0
[INFO] [stderr]    Compiling tokio-macros v1.1.0
[INFO] [stderr]    Compiling futures-macro v0.3.13
[INFO] [stderr]    Compiling tracing-attributes v0.1.15
[INFO] [stderr]    Compiling zeroize_derive v1.0.1
[INFO] [stderr]    Compiling pin-project-internal v1.0.6
[INFO] [stderr]    Compiling prost-derive v0.7.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.24
[INFO] [stderr]    Compiling num-derive v0.3.3
[INFO] [stderr]    Compiling serde_repr v0.1.6
[INFO] [stderr]    Compiling async-trait v0.1.48
[INFO] [stderr]    Compiling derive_more v0.99.13
[INFO] [stderr]    Compiling contracts v0.4.0
[INFO] [stderr]    Compiling zeroize v1.2.0
[INFO] [stderr]    Compiling futures-util v0.3.13
[INFO] [stderr]    Compiling subtle-encoding v0.5.1
[INFO] [stderr]    Compiling curve25519-dalek v3.0.2
[INFO] [stderr]    Compiling thiserror v1.0.24
[INFO] [stderr]    Compiling tracing v0.1.25
[INFO] [stderr]    Compiling pin-project v1.0.6
[INFO] [stderr]    Compiling prost v0.7.0
[INFO] [stderr]    Compiling prost-types v0.7.0
[INFO] [stderr]    Compiling futures-executor v0.3.13
[INFO] [stderr]    Compiling futures v0.3.13
[INFO] [stderr]    Compiling tokio-util v0.6.5
[INFO] [stderr]    Compiling tokio-native-tls v0.3.0
[INFO] [stderr]    Compiling tokio-rustls v0.22.0
[INFO] [stderr]    Compiling h2 v0.3.2
[INFO] [stderr]    Compiling serde_bytes v0.11.5
[INFO] [stderr]    Compiling backtrace v0.3.56
[INFO] [stderr]    Compiling ed25519 v1.0.3
[INFO] [stderr]    Compiling chrono v0.4.19
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling serde_cbor v0.11.1
[INFO] [stderr]    Compiling hyper v0.14.5
[INFO] [stderr]    Compiling ed25519-dalek v1.0.1
[INFO] [stderr]    Compiling anomaly v0.2.0
[INFO] [stderr]    Compiling tendermint-proto v0.19.0
[INFO] [stderr]    Compiling hyper-tls v0.5.0
[INFO] [stderr]    Compiling hyper-rustls v0.22.1
[INFO] [stderr]    Compiling hyper-proxy v0.9.1
[INFO] [stderr]    Compiling tendermint v0.19.0
[INFO] [stderr]    Compiling tendermint-rpc v0.19.0
[INFO] [stderr]    Compiling tendermint-light-client v0.19.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5m 02s
[INFO] running `Command { std: "docker" "inspect" "e5e2c4c5a682f84b55bc56da3e8a17d88624e6221683fe817e4f90a1bd8b6426", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e5e2c4c5a682f84b55bc56da3e8a17d88624e6221683fe817e4f90a1bd8b6426", kill_on_drop: false }`
[INFO] [stdout] e5e2c4c5a682f84b55bc56da3e8a17d88624e6221683fe817e4f90a1bd8b6426
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 294d7ef33e1d9c6a504880d3a549988cb2bd001daa2e5feff474cf56bf7c2c22
[INFO] running `Command { std: "docker" "start" "-a" "294d7ef33e1d9c6a504880d3a549988cb2bd001daa2e5feff474cf56bf7c2c22", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.2.2
[INFO] [stderr]    Compiling remove_dir_all v0.5.3
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling regex-syntax v0.6.23
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling rand v0.4.6
[INFO] [stderr]    Compiling gumdrop_derive v0.8.0
[INFO] [stderr]    Compiling rand_xorshift v0.2.0
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling rand_core v0.6.2
[INFO] [stderr]    Compiling rand_chacha v0.3.0
[INFO] [stderr]    Compiling tempdir v0.3.7
[INFO] [stderr]    Compiling rand v0.8.3
[INFO] [stderr]    Compiling tempfile v3.2.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling gumdrop v0.8.0
[INFO] [stderr]    Compiling proptest v0.10.1
[INFO] [stderr]    Compiling tendermint-light-client v0.19.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout]   --> tests/light_client.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | use tendermint_testgen::light_block::default_peer_id;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen`
[INFO] [stdout]   --> tests/supervisor.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 | use tendermint_testgen::Tester;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen`
[INFO] [stdout]   --> tests/light_client.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use tendermint_testgen::Tester;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout]   --> tests/model_based.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use tendermint_testgen::light_block::default_peer_id;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout]   --> tests/model_based.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use tendermint_testgen::{
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tendermint-light-client`
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0425]: cannot find function `default_peer_id` in this scope
[INFO] [stdout]   --> tests/light_client.rs:32:19
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let primary = default_peer_id();
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `tendermint_testgen::light_block::default_peer_id`, `tendermint_testgen::apalache::*`, `tendermint_testgen::jsonatr::*`, `tendermint_testgen::light_block::TmLightBlock`, `tendermint_testgen::validator::generate_validators`, `tendermint_testgen`
[INFO] [stdout]   --> tests/model_based.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use tendermint_testgen::light_block::default_peer_id;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 16 | use tendermint_testgen::{
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 17 |     apalache::*, jsonatr::*, light_block::TmLightBlock, validator::generate_validators, Command,
[INFO] [stdout]    |     ^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ApalacheRun`
[INFO] [stdout]    --> tests/model_based.rs:681:13
[INFO] [stdout]     |
[INFO] [stdout] 681 |             ApalacheRun::Counterexample(_) => (),
[INFO] [stdout]     |             ^^^^^^^^^^^ use of undeclared type `ApalacheRun`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TmLightBlock` in this scope
[INFO] [stdout]   --> tests/model_based.rs:21:25
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn testgen_to_lb(tm_lb: TmLightBlock) -> LightBlock {
[INFO] [stdout]    |                         ^^^^^^^^^^^^ help: a struct with a similar name exists: `LightBlock`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/types.rs:84:1
[INFO] [stdout]    |
[INFO] [stdout] 84 | pub struct LightBlock {
[INFO] [stdout]    | --------------------- similarly named struct `LightBlock` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_validators` in this scope
[INFO] [stdout]    --> tests/model_based.rs:248:53
[INFO] [stdout]     |
[INFO] [stdout] 248 |         let valset = ValidatorSet::without_proposer(generate_validators(&vals).unwrap());
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_validators` in this scope
[INFO] [stdout]    --> tests/model_based.rs:264:53
[INFO] [stdout]     |
[INFO] [stdout] 264 |         let valset = ValidatorSet::without_proposer(generate_validators(&vals).unwrap());
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `default_peer_id` in this scope
[INFO] [stdout]    --> tests/model_based.rs:519:9
[INFO] [stdout]     |
[INFO] [stdout] 519 |         default_peer_id(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ApalacheTestCase` in this scope
[INFO] [stdout]    --> tests/model_based.rs:635:11
[INFO] [stdout]     |
[INFO] [stdout] 635 |     test: ApalacheTestCase,
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `run_apalache_test` in this scope
[INFO] [stdout]    --> tests/model_based.rs:679:11
[INFO] [stdout]     |
[INFO] [stdout] 679 |     match run_apalache_test(env.current_dir(), test) {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `JsonatrTransform` in this scope
[INFO] [stdout]    --> tests/model_based.rs:691:21
[INFO] [stdout]     |
[INFO] [stdout] 691 |     let transform = JsonatrTransform {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `run_jsonatr_transform` in this scope
[INFO] [stdout]    --> tests/model_based.rs:696:13
[INFO] [stdout]     |
[INFO] [stdout] 696 |     assert!(run_jsonatr_transform(env.current_dir(), transform).is_ok());
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ApalacheTestBatch` in this scope
[INFO] [stdout]    --> tests/model_based.rs:705:34
[INFO] [stdout]     |
[INFO] [stdout] 705 | fn model_based_test_batch(batch: ApalacheTestBatch) -> Vec<(String, String)> {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ApalacheTestCase` in this scope
[INFO] [stdout]    --> tests/model_based.rs:708:18
[INFO] [stdout]     |
[INFO] [stdout] 708 |         let tc = ApalacheTestCase {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout]    --> src/operations/voting_power.rs:232:9
[INFO] [stdout]     |
[INFO] [stdout] 232 |     use tendermint_testgen::light_block::generate_signed_header;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout]    --> src/predicates.rs:304:9
[INFO] [stdout]     |
[INFO] [stdout] 304 |     use tendermint_testgen::{
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen`
[INFO] [stdout]    --> src/operations/voting_power.rs:233:9
[INFO] [stdout]     |
[INFO] [stdout] 233 |     use tendermint_testgen::{
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout]    --> src/store/sled.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |     use tendermint_testgen::{light_block::TmLightBlock as TGLightBlock, Generator, LightChain};
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen`
[INFO] [stdout]    --> src/predicates.rs:304:9
[INFO] [stdout]     |
[INFO] [stdout] 304 |     use tendermint_testgen::{
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout]    --> src/supervisor.rs:447:9
[INFO] [stdout]     |
[INFO] [stdout] 447 |     use tendermint_testgen::helpers::get_time;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen`
[INFO] [stdout]    --> src/store/sled.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |     use tendermint_testgen::{light_block::TmLightBlock as TGLightBlock, Generator, LightChain};
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen`
[INFO] [stdout]    --> src/supervisor.rs:448:9
[INFO] [stdout]     |
[INFO] [stdout] 448 |     use tendermint_testgen::{
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TestgenLightBlock`
[INFO] [stdout]    --> src/predicates.rs:435:13
[INFO] [stdout]     |
[INFO] [stdout] 435 |             TestgenLightBlock::new_default(1).generate().unwrap().into();
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ use of undeclared type `TestgenLightBlock`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TestgenLightBlock`
[INFO] [stdout]    --> src/predicates.rs:488:33
[INFO] [stdout]     |
[INFO] [stdout] 488 |         let mut signed_header = TestgenLightBlock::new_default(1)
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ use of undeclared type `TestgenLightBlock`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TestgenLightBlock`
[INFO] [stdout]    --> src/predicates.rs:522:39
[INFO] [stdout]     |
[INFO] [stdout] 522 |         let light_block: LightBlock = TestgenLightBlock::new_default(1).generate().unwrap().into();
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^ use of undeclared type `TestgenLightBlock`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TestgenLightBlock`
[INFO] [stdout]    --> src/predicates.rs:613:24
[INFO] [stdout]     |
[INFO] [stdout] 613 |         let test_lb1 = TestgenLightBlock::new_default(1);
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^ use of undeclared type `TestgenLightBlock`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TestgenLightBlock`
[INFO] [stdout]    --> src/predicates.rs:631:40
[INFO] [stdout]     |
[INFO] [stdout] 631 |         let light_block3: LightBlock = TestgenLightBlock::new(header, commit)
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^ use of undeclared type `TestgenLightBlock`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TestgenLightBlock`
[INFO] [stdout]    --> src/predicates.rs:651:39
[INFO] [stdout]     |
[INFO] [stdout] 651 |         let light_block: LightBlock = TestgenLightBlock::new_default(1).generate().unwrap().into();
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^ use of undeclared type `TestgenLightBlock`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TestgenLightBlock`
[INFO] [stdout]    --> src/predicates.rs:704:13
[INFO] [stdout]     |
[INFO] [stdout] 704 |             TestgenLightBlock::new_default(2).generate().unwrap().into();
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ use of undeclared type `TestgenLightBlock`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_signed_header` in this scope
[INFO] [stdout]    --> src/operations/voting_power.rs:303:29
[INFO] [stdout]     |
[INFO] [stdout] 303 |         let signed_header = generate_signed_header(&header, &commit).unwrap();
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TmLightBlock` in this scope
[INFO] [stdout]    --> src/predicates.rs:318:15
[INFO] [stdout]     |
[INFO] [stdout] 318 |     impl From<TmLightBlock> for LightBlock {
[INFO] [stdout]     |               ^^^^^^^^^^^^
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/types.rs:84:1
[INFO] [stdout]     |
[INFO] [stdout] 84  | pub struct LightBlock {
[INFO] [stdout]     | --------------------- similarly named struct `LightBlock` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 318 |     impl From<LightBlock> for LightBlock {
[INFO] [stdout]     |               ^^^^^^^^^^
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 318 |     impl<TmLightBlock> From<TmLightBlock> for LightBlock {
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TmLightBlock` in this scope
[INFO] [stdout]    --> src/predicates.rs:319:21
[INFO] [stdout]     |
[INFO] [stdout] 319 |         fn from(lb: TmLightBlock) -> Self {
[INFO] [stdout]     |                     ^^^^^^^^^^^^ help: a struct with a similar name exists: `LightBlock`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/types.rs:84:1
[INFO] [stdout]     |
[INFO] [stdout] 84  | pub struct LightBlock {
[INFO] [stdout]     | --------------------- similarly named struct `LightBlock` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TGLightBlock` in this scope
[INFO] [stdout]    --> src/store/sled.rs:141:29
[INFO] [stdout]     |
[INFO] [stdout] 141 |     fn testgen_to_lb(tm_lb: TGLightBlock) -> LightBlock {
[INFO] [stdout]     |                             ^^^^^^^^^^^^ help: a struct with a similar name exists: `LightBlock`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/types.rs:84:1
[INFO] [stdout]     |
[INFO] [stdout] 84  | pub struct LightBlock {
[INFO] [stdout]     | --------------------- similarly named struct `LightBlock` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:600:84
[INFO] [stdout]     |
[INFO] [stdout] 600 |         let peer_list = make_peer_list(Some(primary.clone()), Some(vec![witness]), get_time(11));
[INFO] [stdout]     |                                                                                    ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:619:61
[INFO] [stdout]     |
[INFO] [stdout] 619 |         let peer_list = make_peer_list(Some(primary), None, get_time(11));
[INFO] [stdout]     |                                                             ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:642:76
[INFO] [stdout]     |
[INFO] [stdout] 642 |         let peer_list = make_peer_list(Some(primary), Some(vec![witness]), get_time(11));
[INFO] [stdout]     |                                                                            ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:666:76
[INFO] [stdout]     |
[INFO] [stdout] 666 |         let peer_list = make_peer_list(Some(primary), Some(vec![witness]), get_time(11));
[INFO] [stdout]     |                                                                            ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:702:84
[INFO] [stdout]     |
[INFO] [stdout] 702 |         let peer_list = make_peer_list(Some(primary), Some(vec![witness.clone()]), get_time(11));
[INFO] [stdout]     |                                                                                    ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:730:13
[INFO] [stdout]     |
[INFO] [stdout] 730 |             get_time(11),
[INFO] [stdout]     |             ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:773:72
[INFO] [stdout]     |
[INFO] [stdout] 773 |             make_peer_list(Some(primary.clone()), Some(vec![witness]), get_time(604801));
[INFO] [stdout]     |                                                                        ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `get_time` in this scope
[INFO] [stdout]    --> src/supervisor.rs:802:84
[INFO] [stdout]     |
[INFO] [stdout] 802 |         let peer_list = make_peer_list(Some(primary.clone()), Some(vec![witness]), get_time(11));
[INFO] [stdout]     |                                                                                    ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 14 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0422, E0425, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied
[INFO] [stdout]    --> src/operations/voting_power.rs:295:29
[INFO] [stdout]     |
[INFO] [stdout] 295 |         let validator_set = ValidatorSet::new(vec!["a", "b"]);
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^ -------------- supplied 1 argument
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             expected 2 arguments
[INFO] [stdout]     |
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/tendermint-0.19.0/src/validator.rs:63:12
[INFO] [stdout]     |
[INFO] [stdout] 63  |     pub fn new(mut validators: Vec<Info>, proposer: Option<Info>) -> Set {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0616]: field `validators` of struct `Set` is private
[INFO] [stdout]    --> src/operations/voting_power.rs:296:42
[INFO] [stdout]     |
[INFO] [stdout] 296 |         let vals = validator_set.clone().validators.unwrap();
[INFO] [stdout]     |                                          ^^^^^^^^^^ private field
[INFO] [stdout]     |
[INFO] [stdout] help: a method `validators` also exists, call it with parentheses
[INFO] [stdout]     |
[INFO] [stdout] 296 |         let vals = validator_set.clone().validators().unwrap();
[INFO] [stdout]     |                                                    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `unwrap` found for struct `Vec<tendermint::validator::Info>` in the current scope
[INFO] [stdout]    --> src/operations/voting_power.rs:296:53
[INFO] [stdout]     |
[INFO] [stdout] 296 |         let vals = validator_set.clone().validators.unwrap();
[INFO] [stdout]     |                                                     ^^^^^^ method not found in `Vec<tendermint::validator::Info>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no function or associated item named `new_with_votes` found for struct `tendermint::block::Commit` in the current scope
[INFO] [stdout]    --> src/operations/voting_power.rs:302:30
[INFO] [stdout]     |
[INFO] [stdout] 302 |         let commit = Commit::new_with_votes(header.clone(), 1, votes);
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^ function or associated item not found in `tendermint::block::Commit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `generate` found for struct `Set` in the current scope
[INFO] [stdout]    --> src/operations/voting_power.rs:304:36
[INFO] [stdout]     |
[INFO] [stdout] 304 |         let valset = validator_set.generate().unwrap();
[INFO] [stdout]     |                                    ^^^^^^^^ method not found in `Set`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied
[INFO] [stdout]    --> src/operations/voting_power.rs:373:34
[INFO] [stdout]     |
[INFO] [stdout] 373 |         light_block.validators = ValidatorSet::new(vec!["bad-val1", "bad-val2"])
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^ ---------------------------- supplied 1 argument
[INFO] [stdout]     |                                  |
[INFO] [stdout]     |                                  expected 2 arguments
[INFO] [stdout]     |
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/tendermint-0.19.0/src/validator.rs:63:12
[INFO] [stdout]     |
[INFO] [stdout] 63  |     pub fn new(mut validators: Vec<Info>, proposer: Option<Info>) -> Set {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `generate` found for struct `Set` in the current scope
[INFO] [stdout]    --> src/operations/voting_power.rs:374:14
[INFO] [stdout]     |
[INFO] [stdout] 374 |             .generate()
[INFO] [stdout]     |              ^^^^^^^^ method not found in `Set`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 34 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0412, E0425, E0432, E0433, E0599, E0616.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "294d7ef33e1d9c6a504880d3a549988cb2bd001daa2e5feff474cf56bf7c2c22", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "294d7ef33e1d9c6a504880d3a549988cb2bd001daa2e5feff474cf56bf7c2c22", kill_on_drop: false }`
[INFO] [stdout] 294d7ef33e1d9c6a504880d3a549988cb2bd001daa2e5feff474cf56bf7c2c22
